ePMC

Benchmark
Model:csma v.1 (MDP)
Parameter(s)N = 3, K = 4
Property:time_max (exp-reward)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files csma.3-4.prism --model-input-type prism --property-input-files csma.props --property-input-names time_max --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6
Execution
Walltime:167.5735867023468s
Return code:0
Relative Error:8.001822755305405e-07
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property time_max
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 5801 5801
build-model-states-explored 13602 7801
build-model-states-explored 22056 8454
build-model-states-explored 30621 8565
build-model-states-explored 39142 8521
build-model-states-explored 47517 8375
build-model-states-explored 56207 8690
build-model-states-explored 64646 8439
build-model-states-explored 72622 7976
build-model-states-explored 81035 8413
build-model-states-explored 89601 8566
build-model-states-explored 98319 8718
build-model-states-explored 106639 8320
build-model-states-explored 115051 8411
build-model-states-explored 123409 8359
build-model-states-explored 131768 8359
build-model-states-explored 141410 9642
build-model-states-explored 151128 9718
build-model-states-explored 160969 9841
build-model-states-explored 170794 9825
build-model-states-explored 180285 9491
build-model-states-explored 190072 9787
build-model-states-explored 199848 9776
build-model-states-explored 209667 9819
build-model-states-explored 219358 9691
build-model-states-explored 228987 9629
build-model-states-explored 238868 9881
build-model-states-explored 248708 9840
build-model-states-explored 258261 9553
build-model-states-explored 267160 8899
build-model-states-explored 276629 9469
build-model-states-explored 286507 9878
build-model-states-explored 296354 9847
build-model-states-explored 306133 9779
build-model-states-explored 315806 9673
build-model-states-explored 325239 9433
build-model-states-explored 335124 9885
build-model-states-explored 344863 9739
build-model-states-explored 354492 9629
build-model-states-explored 363984 9492
build-model-states-explored 373623 9639
build-model-states-explored 383456 9833
build-model-states-explored 393263 9807
build-model-states-explored 403023 9760
build-model-states-explored 412727 9704
build-model-states-explored 422416 9689
build-model-states-explored 432127 9711
build-model-states-explored 441779 9652
build-model-states-explored 451583 9804
build-model-states-explored 460876 9293
build-model-states-explored 470600 9723
build-model-states-explored 480403 9804
build-model-states-explored 490241 9838
build-model-states-explored 500049 9808
build-model-states-explored 509707 9658
build-model-states-explored 518476 8769
build-model-states-explored 527225 8749
build-model-states-explored 537187 9962
build-model-states-explored 547131 9944
build-model-states-explored 557072 9941
build-model-states-explored 566916 9844
build-model-states-explored 576677 9761
build-model-states-explored 586697 10020
build-model-states-explored 596340 9643
build-model-states-explored 606313 9973
build-model-states-explored 616240 9927
build-model-states-explored 626171 9931
build-model-states-explored 636048 9877
build-model-states-explored 646034 9986
build-model-states-explored 656053 10018
build-model-states-explored 665960 9907
build-model-states-explored 675794 9835
build-model-states-explored 685608 9814
build-model-states-explored 695562 9954
build-model-states-explored 705507 9945
build-model-states-explored 715285 9778
build-model-states-explored 725166 9881
build-model-states-explored 735136 9970
build-model-states-explored 744932 9796
build-model-states-explored 754529 9597
build-model-states-explored 764354 9825
build-model-states-explored 773975 9621
build-model-states-explored 783753 9778
build-model-states-explored 793512 9759
build-model-states-explored 803103 9591
build-model-states-explored 812898 9795
build-model-states-explored 822677 9779
build-model-states-explored 832450 9773
build-model-states-explored 842202 9752
build-model-states-explored 851879 9676
build-model-states-explored 861647 9769
build-model-states-explored 871330 9683
build-model-states-explored 881105 9775
build-model-states-explored 890774 9669
build-model-states-explored 900552 9778
build-model-states-explored 910314 9762
build-model-states-explored 919962 9648
build-model-states-explored 929732 9770
build-model-states-explored 939459 9727
build-model-states-explored 949248 9789
build-model-states-explored 959077 9829
build-model-states-explored 968839 9762
build-model-states-explored 978578 9739
build-model-states-explored 988265 9687
build-model-states-explored 998053 9788
build-model-states-explored 1007683 9630
build-model-states-explored 1017494 9811
build-model-states-explored 1027241 9747
build-model-states-explored 1037017 9776
build-model-states-explored 1042718 5701
build-model-states-explored 1052485 9767
build-model-states-explored 1062151 9665
build-model-states-explored 1071930 9780
build-model-states-explored 1081635 9705
build-model-states-explored 1091355 9720
build-model-states-explored 1101111 9756
build-model-states-explored 1110678 9567
build-model-states-explored 1120414 9735
build-model-states-explored 1130164 9750
build-model-states-explored 1139833 9669
build-model-states-explored 1149497 9664
build-model-states-explored 1159107 9610
build-model-states-explored 1168788 9681
build-model-states-explored 1178392 9604
build-model-states-explored 1187973 9581
build-model-states-explored 1197557 9584
build-model-states-explored 1207171 9613
build-model-states-explored 1216760 9590
build-model-states-explored 1226423 9663
build-model-states-explored 1236083 9660
build-model-states-explored 1245640 9557
build-model-states-explored 1255216 9575
build-model-states-explored 1264875 9660
build-model-states-explored 1274036 9161
build-model-states-explored 1283406 9370
build-model-states-explored 1292803 9397
build-model-states-explored 1302463 9660
build-model-states-explored 1312056 9593
build-model-states-explored 1321680 9624
build-model-states-explored 1331285 9605
build-model-states-explored 1340956 9671
build-model-states-explored 1350595 9639
build-model-states-explored 1360256 9661
build-model-states-explored 1369967 9711
build-model-states-explored 1379594 9627
build-model-states-explored 1389277 9683
build-model-states-explored 1398915 9638
build-model-states-explored 1408592 9677
build-model-states-explored 1418228 9636
build-model-states-explored 1427997 9769
build-model-states-explored 1437754 9757
build-model-states-explored 1447505 9751
build-model-states-explored 1457289 9784
build-model-done 1460287 153
iterating
iterating-progress-unbounded 42 0.054010884550457904 1
iterating-progress-unbounded 91 0.018091240303350402 2
iterating-progress-unbounded 139 0.004135774749081096 3
iterating-progress-unbounded 188 1.1531548734139665E-6 4
iterating-done 194 4
model-checking-done 166
command-check-result-is 116.81816235408705 time_max